A simple proof of the necessity of the failure detector Σ to implement a register in asynchronous message-passing systems

This paper presents a simple proof that the quorum failure detector class (denoted Σ) is the weakest failure detector class required to implement an atomic read/write register in an asynchronous message-passing system prone to an arbitrary number of process crashes. Key-words: Asynchronous message-passing system, Atomic register, Necessity proof, Process crash, Weakest failure detector. Une preuve simple de la nécessité du détecteur de fautes Σ pour implémenter un registre dans un système asynchrone à passage de messages Résumé : Ce rapport propose une preuve simple de la nécessité du détecteur de fautes Σ pour implémenter un registre dans un système asynchrone à passage de messages. Mots clés : Asynchronisme, Défaillances des processus, Détecteur de fautes, Preuve de nćessité, Registre atomique. * Projet ASAP: équipe commune avec l’INRIA, le CNRS, l’université Rennes 1 et l’INSA de Rennes ** Projet ASAP: équipe commune avec l’INRIA, le CNRS, l’université Rennes 1 et l’INSA de Rennes c ©IRISA – Campus de Beaulieu – 35042 Rennes Cedex – France – +33 2 99 84 71 00 – www.irisa.fr in ria -0 03 92 45 0, v er si on 1 8 Ju n 20 09 2 F. Bonnet & M. Raynal